home *** CD-ROM | disk | FTP | other *** search
/ NetNews Offline 2 / NetNews Offline Volume 2.iso / news / comp / lang / c-part1 / 8626 < prev    next >
Encoding:
Internet Message Format  |  1996-08-05  |  981 b 
  1. Path: uwm.edu!uwvax!news
  2. From: Michael Siff <siff@cs.wisc.edu>
  3. Newsgroups: comp.lang.c
  4. Subject: Formal type system and denotational semantics for C?
  5. Date: Tue, 05 Mar 1996 08:41:53 -0600
  6. Organization: University of WI, Madison -- Computer Sciences Dept.
  7. Message-ID: <313C52B1.41C67EA6@cs.wisc.edu>
  8. NNTP-Posting-Host: herve.cs.wisc.edu
  9. Mime-Version: 1.0
  10. Content-Type: text/plain; charset=us-ascii
  11. Content-Transfer-Encoding: 7bit
  12. X-Mailer: Mozilla 2.0 (X11; I; SunOS 4.1.3 sun4m)
  13. CC: siff@cs.wisc.edu
  14.  
  15. Is anyone aware of any work done for either a formal type system for C
  16. or denotational semantics for C? I am particularly interested in the
  17. type question. I am looking for type rules of the form:
  18.  
  19. A |- e : t
  20. -----------
  21. A |- &e : t ptr
  22.  
  23. meaning: if with assumptions A (i.e. declarations and initial
  24. environment) expression e has type t, then &e has type pointer to t.
  25.  
  26. Any information concerning the existence of such rules would be much
  27. appreciated. 
  28.  
  29. Thanks in advance,
  30.  
  31. Michael
  32.